package aop;


public aspect Algorithme_aj extends echecs.Algorithme{
    private int invariant;

    before() : execution(* traiter_2()) {
        invariant++;
    }

    after() : execution(* traiter_1()) {
        //System.out.print(Case.valeur(index) + ":");
        //System.out.print(_index + "," + TO_MAILBOX[_index] + "," + MAILBOX[TO_MAILBOX[_index]]+",");
        //assert index >= 0 && index < 64;
        //assert index == MAILBOX[TO_MAILBOX[index]];
    }


    after() : execution(* traiter_0()) {
        System.out.println(invariant);
        assert invariant==420:invariant;
        
    }
}
